$\forall$$E$:Type, $x$, $y$:Tree($E$). tree\_node($\langle$$x$$,\,$$y$$\rangle$) $\in$ Tree($E$)